Translation in to predicate Logic